Security Properties: Two Agents Are Sufficient

H . Comon − Lundh and V . Cortier Security Properties : Two Agents Are Sufficient

Distributed temporal logic for the analysis of security protocol models

The distributed temporal logic DTL is an expressive logic, well-suited for formalizing properties of concurrent, communicating agents. We show how DTL can be used as a metalogic to reason about and relate different security-protocol models. This includes reasoning about model simplifications, where models are transformed to have fewer agents or behaviors, and verifying model reductions, where t...

استفاده از عوامل پیوندی بورات استری در پیشرانه های جامد

Bonding agents are one of the most important components of solid propellants that enhance the interaction between solid particles and binders. Many bonding agents have been reported so far and sufficient laboratory studies have been carried out on their mechanism of action, including, hydantoin, isocyanorathe, vinyl ether, base-shif, etc. Borate esters are other group of bonding agents that mos...

Employment Status of the Elderly Referring to the Social Security Organization of Tehran

The aim of this study was to examine the employment status of the elderly over 60. A survey was carried out on the employment status of the elderly referring to the Social Security Organization in Tehran. A Questionnaire along with interview was used for data collection. The samples were chosen randomly and selected  through the people referring to 30 social security offices in Tehran, 15 peopl...

On cross-correlation properties of S-boxes and their design using semi-bent functions

In this paper, several methods for constructing substitution boxes (S-boxes) with good cross-correlation properties are proposed. We firstly analyze the cross-correlation properties of bent functions and derive a sufficient condition that the absolute indicator f ,g of two bent functions f and g achieve its lowest possible value 2 n/2. More precisely, it is sufficient that f + g is also a bent ...